Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

A study on shuffle, stopwatches and independently evolving clocks

Année:
2012
Langue:
english
Fichier:
PDF, 671 KB
english, 2012
6

ε-transitions in Concurrent Timed Automata

Année:
2004
Langue:
english
Fichier:
PDF, 192 KB
english, 2004
7

Monotonic hybrid systems

Année:
2005
Langue:
english
Fichier:
PDF, 575 KB
english, 2005
9

Complexity and succinctness issues for linear-time hybrid logics

Année:
2010
Langue:
english
Fichier:
PDF, 1.14 MB
english, 2010
10

Weak bisimulation for Probabilistic Timed Automata

Année:
2010
Langue:
english
Fichier:
PDF, 485 KB
english, 2010
11

Concurrency in timed automata

Année:
2003
Langue:
english
Fichier:
PDF, 373 KB
english, 2003
12

Privacy in Real-Time Systems

Année:
2002
Langue:
english
Fichier:
PDF, 281 KB
english, 2002
14

Reachability results for timed automata with unbounded data structures

Année:
2010
Langue:
english
Fichier:
PDF, 717 KB
english, 2010
16

Expressive Power of Hybrid Systems with Variables, Parameters and Arrays

Année:
2004
Langue:
english
Fichier:
PDF, 344 KB
english, 2004
19

Taylor approximation for hybrid systems

Année:
2007
Langue:
english
Fichier:
PDF, 821 KB
english, 2007
21

Information flow in hybrid systems

Année:
2004
Langue:
english
Fichier:
PDF, 414 KB
english, 2004
22

Probabilistic bisimulation as a congruence

Année:
2009
Langue:
english
Fichier:
PDF, 394 KB
english, 2009
23

A semantic theory of the Internet of Things

Année:
2018
Langue:
english
Fichier:
PDF, 1.43 MB
english, 2018